Nora Szasz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory

Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 250 KB

english, 2018

2

The expression of TAM receptors and their ligand Gas6 is downregulated in psoriasis

Szász, András, Strifler, Gerda, Vörös, Andrea, Váczi, Balázs, Tubak, Vilmos, Puskás, László G., Belső, Nóra, Kemény, Lajos, Nagy, István

Journal:

Journal of Dermatological Science

Year:

2013

Language:

english

File:

PDF, 530 KB

english, 2013

3

DNA hypermethylation is associated with invasive phenotype of malignant melanoma

Koroknai, Viktória, Szász, István, Hernandez‐Vargas, Hector, Fernandez‐Jimenez, Nora, Cuenin, Cyrille, Herceg, Zdenko, Vízkeleti, Laura, Ádány, Róza, Ecsedi, Szilvia, Balázs, Margit

Journal:

Experimental Dermatology

Year:

2019

Language:

english

File:

PDF, 577 KB

english, 2019

4

When to measure plumage reflectance: a lesson from Collared Flycatchers Ficedula albicollis

Hegyi, Gergely, Laczi, Miklós, Boross, Nóra, Jablonszky, Mónika, Kötél, Dóra, Krenhardt, Katalin, Markó, Gábor, Nagy, Gergely, Rosivall, Balázs, Szász, Eszter, Garamszegi, László Zsolt, Török, János

Journal:

Year:

2018

Language:

english

File:

PDF, 619 KB

english, 2018

5

Institution-based foundations for verification in the context of model-driven engineering

Calegari, Daniel, Szasz, Nora

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 861 KB

english, 2015

6

Prevalence and antimicrobial resistance of uropathogens in different inpatient wards

Szász, M., Lehotkai, Nóra, Kristóf, Katalin, Szabó, Dóra, Nagy, K.

Journal:

Acta Microbiologica et Immunologica Hungarica

Year:

2009

Language:

english

File:

PDF, 120 KB

english, 2009

7

Heterogeneous verification in the context of model driven engineering

Calegari, Daniel, Mossakowski, Till, Szasz, Nora

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.03 MB

english, 2016

8

GluN2B-containing NMDA receptors as possible targets for the neuroprotective and antidepressant effects of fluoxetine

Janos P. Kiss, Bernadett K. Szasz, László Fodor, Arpad Mike, Nora Lenkey, Dalma Kurkó, József Nagy, E. Sylvester Vizi

Journal:

Neurochemistry International

Year:

2012

Language:

english

File:

PDF, 530 KB

english, 2012

9

Expression of proliferation markers Ki67, cyclin A, geminin and aurora-kinase A in primary breast carcinomas and corresponding distant metastases

Tökés, Anna-Mária, Szász, A Marcell, Geszti, Franciska, Lukács, Lilla V, Kenessey, István, Turányi, Eszter, Meggyesházi, Nóra, Molnár, István A, Fillinger, János, Soltész, Ibolya, Bálint, Katalin, Han

Journal:

Journal of Clinical Pathology

Year:

2015

Language:

english

File:

PDF, 816 KB

english, 2015

10

Reliability of immunocytochemistry and fluorescence in situ hybridization on fine-needle aspiration cytology samples of breast cancers: A comparative study

Acs, Balazs, Szekely, Nora, Szasz, Attila Marcell, Lotz, Gabor, Szekely, Tamas, Istok, Roland, Szekely, Eszter, Madaras, Lilla, Kulka, Janina, Jaray, Balazs

Journal:

Diagnostic Cytopathology

Year:

2016

Language:

english

File:

PDF, 73 KB

english, 2016

11

Oncothermia as Personalized Treatment Option

Szasz, Oliver, Andocs, Gabor, Meggyeshazi, Nora

Journal:

Conference Papers in Medicine

Year:

2013

Language:

english

File:

PDF, 2.47 MB

english, 2013

12

DNA hypermethylation is associated with invasive phenotype of malignant melanoma

Koroknai, Viktória, Szász, István, Hernandez‐Vargas, Hector, Fernandez‐Jimenez, Nora, Cuenin, Cyrille, Herceg, Zdenko, Vízkeleti, Laura, Ádány, Róza, Ecsedi, Szilvia, Balázs, Margit

Journal:

Experimental Dermatology

Year:

2019

File:

PDF, 577 KB

2019

13

Oncothermia: Principles and Practices || Oncothermia – A New Kind of Oncologic Hyperthermia

Szasz, Andras, Szasz, Nora, Szasz, Oliver

Year:

2011

Language:

english

File:

PDF, 16.77 MB

english, 2011

14

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Copello, Ernesto, Tasistro, Álvaro, Szasz, Nora, Bove, Ana, Fernández, Maribel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 308 KB

english, 2016

15

Report of the Pilot Study Done for the Proposed Investigation on the Possible Synergic Effect between High-Dose Ascorbic Acid Application and Oncothermia Treatment

Kovago, Csaba, Meggyeshazi, Nora, Andocs, Gabor, Szasz, Andras

Journal:

Conference Papers in Medicine

Year:

2013

Language:

english

File:

PDF, 2.26 MB

english, 2013

16

Deep Temperature Measurements in Oncothermia Processes

Nagy, Gabor, Meggyeshazi, Nora, Szasz, Oliver

Journal:

Conference Papers in Medicine

Year:

2013

Language:

english

File:

PDF, 7.97 MB

english, 2013

17

Oncothermia: Principles and Practices ||

Szasz, Andras, Szasz, Nora, Szasz, Oliver

Year:

2011

Language:

english

File:

PDF, 25.74 MB

english, 2011

18

ITOC2 – 018. Hyperthermia induced immunogenic cell-death

Gabor, Andocs, Nora, Meggyeshazi, Tamas, Vancsik, Tibor, Krenacs, Edina, Papp, Csaba, Kovago, Oliver, Szasz

Journal:

European Journal of Cancer

Year:

2015

Language:

english

File:

PDF, 37 KB

english, 2015

19

Institutionalising UML 2.0 state machines

Daniel Calegari, Nora Szasz

Journal:

Innovations in Systems and Software Engineering

Year:

2011

Language:

english

File:

PDF, 352 KB

english, 2011

20

Transport and binding of insulin-like growth factor I through articular cartilage

A.Minerva Garcia, Nora Szasz, Stephen B Trippel, Teresa I Morales, Alan J Grodzinsky, Eliot H Frank

Journal:

Archives of Biochemistry and Biophysics

Year:

2003

Language:

english

File:

PDF, 270 KB

english, 2003

21

Verification of Model Transformations

Calegari, Daniel, Szasz, Nora

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 459 KB

english, 2013

22

Automatization of the Instantiation Process for the Behavior of Software Product Lines

Gonzalez, Ariel, Luna, Carlos, Zorzan, Fabio, Szasz, Nora

Journal:

IEEE Latin America Transactions

Year:

2014

File:

PDF, 738 KB

2014

23

Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus

Tasistro, Álvaro, Copello, Ernesto, Szasz, Nora

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

24

Studies of a Theory of Specifications with Built-in Program Extraction

Paula Severi, Nora Szasz

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 174 KB

english, 2001

25

Expression of miRNAs in adenoid cystic carcinomas of the breast and salivary glands

Kiss, Orsolya, Tőkés, Anna-Mária, Vranic, Semir, Gatalica, Zoran, Vass, László, Udvarhelyi, Nóra, Szász, A. Marcell, Kulka, Janina

Journal:

Virchows Archiv

Year:

2015

Language:

english

File:

PDF, 1.99 MB

english, 2015

26

Modulation Effect in Oncothermia

Szasz, Oliver, Andocs, Gabor, Meggyeshazi, Nora

Journal:

Conference Papers in Medicine

Year:

2013

Language:

english

File:

PDF, 2.97 MB

english, 2013

27

Formal metatheory of the lambda calculus using Stoughton's substitution

Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 418 KB

english, 2016

28

Correlations of Differentially Expressed Gap Junction Connexins Cx26, Cx30, Cx32, Cx43 and Cx46 with Breast Cancer Progression and Prognosis

Teleki, Ivett, Szasz, Attila Marcell, Maros, Mate Elod, Gyorffy, Balazs, Kulka, Janina, Meggyeshazi, Nora, Kiszner, Gergo, Balla, Peter, Samu, Aliz, Krenacs, Tibor, Scemes, Eliana

Journal:

Year:

2014

Language:

english

File:

PDF, 1.38 MB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски